Computability theory - PDFSEARCH.IO - Document Search Engine

Computability theory
Results: 1231

#	Item
301	Lecture 3: Introduction to Mathematica II SeptFunctions and Rules R ’s large set of built-in mathematical and graphics functions, the most powerful aspects of Mathematica R Add to Reading List Source URL: pruffle.mit.edu Language: English - Date: 2009-06-08 11:31:54 Functions and mappings Programming idioms Recursion Computability theory Theory of computation Factorial Pattern matching Function Derivative Mathematics Computer programming Software engineering
302	The Quadratic Assignment Problem in Code Optimization for a Simple Universal Turing Machine Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-03-26 17:18:16 Theoretical computer science Computer science Computability theory Alan Turing Algorithm Tag system Finite-state machine Description number Read-only Turing machine Turing machine Theory of computation Models of computation
303	A New Algorithmic Approach to the Minority Game Add to Reading List Source URL: www.complex-systems.com Language: English - Date: 2012-09-20 14:36:16 Abstraction Complex systems theory Complexity Holism Transdisciplinarity Kolmogorov complexity Computational complexity theory Standard deviation String Statistics Theoretical computer science Computability theory
304	Things Computer Science Tells Us About Philosophy Rudy Rucker Department of Computer Science San Jose State University, CA www.rudyrucker.com Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2005-09-26 14:03:35 Rudy Rucker Artificial intelligence Computational neuroscience A New Kind of Science Computation Dialectic Strong AI Applied mathematics Mathematics Science Computability theory Clarion Workshop
305	Recurs on Recursion Recursion Recursion Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 08:41:57 Computing Recursion Computability theory Subroutines Theory of computation Infinite loop Tower of Hanoi Computer programming Software engineering Programming idioms
306	Recursive Functions of Symbolic Expressions and Their Computation by Machine, Part I John McCarthy, Massachusetts Institute of Technology, Cambridge, Mass. April Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2006-08-13 19:55:54 Computability theory Predicate logic Lisp programming language Formal languages Function Free variables and bound variables Combinatory logic Expression Lisp Logic Mathematics Mathematical logic
307	BRICS Basic Research in Computer Science BRICS RS-97-1 Danvy & Goldberg: Partial Evaluation of the Euclidian Algorithm Add to Reading List Source URL: repository.readscheme.org Language: English - Date: 2010-10-22 08:06:09 Theoretical computer science Recursion Computability theory Subroutines Fixed-point combinator Euclidean algorithm Church encoding Scheme Greatest common divisor Mathematics Applied mathematics Lambda calculus
308	Notes for the Lifebox, the Seashell, and the Soul Add to Reading List Source URL: www.rudyrucker.com Language: English - Date: 2014-05-29 21:49:28 Computability theory Models of computation Theory of computation Formal methods A New Kind of Science Turing machine Rudy Rucker Halting problem Quantum computer Theoretical computer science Applied mathematics Mathematics
309	Models of Computation Lecture 8: Undecidiability [Fa’14] Caveat lector: This is the zeroth (draft) edition of this lecture note. Please send bug reports and suggestions to . Add to Reading List Source URL: web.engr.illinois.edu Language: English - Date: 2014-12-28 09:05:16 Computability theory Theory of computation Turing machine Models of computation Universal Turing machine Computability Reduction NP Halting problem Theoretical computer science Applied mathematics Mathematics
310	AISB Journal The Interdisciplinary Journal of Artificial Intelligence and the Simulation of Behaviour Volume 1 – Number 3 – July 2003 Add to Reading List Source URL: aisb.org.uk Language: English - Date: 2009-11-25 04:40:20 Applied mathematics Computability theory Alan Turing Models of computation Hypercomputation Turing machine Computability Cellular neural network Neural network Computer science Theoretical computer science Theory of computation

UPDATE